(0 19 4)(1 18 16)(2 7 6)(3 20 14)(5 10 8)(9 13 11)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (14 15 20)
(0 19 4)(1 18 16)(2 7 6)(3 20 12 17 15)(5 10 8)(9 13 11)(14)
2: (12 17 20)
(0 19 4)(1 18 16)(2 7 6)(3 20 15)(5 10 8)(9 13 11)(12)(14)(17)
3: (1 18 16)
(0 19 4)(1)(2 7 6)(3 20 15)(5 10 8)(9 13 11)(12)(14)(16)(17)(18)
4: (3 20 15)
(0 19 4)(1)(2 7 6)(3)(5 10 8)(9 13 11)(12)(14)(15)(16)(17)(18)(20)